Effiziente Gentzensysteme - Systematisierung und Erweiterung

Projektleitung und Mitarbeiter

Mittelgeber DFG allgemein

Projektbeginn : 01 02.1993

Projektende : 31 01.1994

Tel./ Fax.:

Projektbeschreibung

Es soll ein allgemeiner Rahmen fuer Deduktionssysteme vom Gentzentyp entwickelt werden unter zentraler Verwendung eines neuartigen Inferenzschemas der definitorischen Abgeschlossenheit induktiver Definitionen. Als zentraler Anwendungsfall ist die Spezifikation und Implementation von Theorembeweisern fuer substrukturelle Logiken (Relevanzlogik, lineare Logik etc.) vorgesehen.

Publikationen

INDEX HOME SUCHEN KONTAKT LINKS